Nuprl Lemma : cchead_wf
11,40
postcript
pdf
cchead()
chain_config()
latex
Definitions
cchead()
,
chain_config()
,
t
T
Lemmas
nat
wf
,
Id
wf
,
unit
wf
,
it
wf
origin
chain_config() chain_config() T